-
1 логика предикатове
-
2 логика предикатов
Русско-английский политехнический словарь > логика предикатов
-
3 логика предикатов
Русско-английский словарь по электронике > логика предикатов
-
4 логика предикатов
Русско-английский словарь по радиоэлектронике > логика предикатов
-
5 логика предикатов
Русско-английский математический словарь > логика предикатов
-
6 предикат
Синонимический ряд:сказуемого (сущ.) сказуемого -
7 язык основанный на логике предикатов
Русско-английский большой базовый словарь > язык основанный на логике предикатов
-
8 язык предикатов
-
9 логика предикатов
-
10 исчисление предикатов
Русско-английский новый политехнический словарь > исчисление предикатов
-
11 логика предикатов
Русско-английский новый политехнический словарь > логика предикатов
-
12 логика предикатов
Русско-английский словарь по информационным технологиям > логика предикатов
-
13 предикат
Русско-английский словарь по информационным технологиям > предикат
-
14 логика предикатов
predicate logic мат., quantificational logicРусско-английский научно-технический словарь Масловского > логика предикатов
-
15 логика
ж. logicлогика «большинства» — majority logic
-
16 логика
ло́гика ж.
logicадапти́вная ло́гика — adaptive logicбина́рная ло́гика — binary logicло́гика «большинства́» — majority logicвероя́тностная ло́гика — probabilistic logicло́гика выска́зываний — propositional logicдиалекти́ческая ло́гика — dialectical logicN-зна́чная ло́гика — N-valued logicинтенсиона́льная ло́гика — intensional logicинтуициони́стская ло́гика — intuitiotistic logicкомбинато́рная ло́гика — combinatorial [combinatory] logicконструкти́вная ло́гика — constructive logicмажорита́рная ло́гика — majority logicматемати́ческая ло́гика — mathematical logicмногозна́чная ло́гика — many-valued logicмода́льная ло́гика — modal logicнерегуля́рная ло́гика — irregular logicотрица́тельная ло́гика — negative logicположи́тельная ло́гика — positive logicпоро́говая ло́гика — threshold logicло́гика предика́тов — predicate logicло́гика прерыва́ния — interrupt logicпрограмми́руемая ло́гика — programmable logicсимволи́ческая ло́гика — symbolic logicстати́ческая ло́гика — static logicтеорети́ческая ло́гика — mathematical logicтрои́чная ло́гика — ternary logicформа́льная ло́гика — formal logic -
17 логика предикатов первого порядка
Mathematics: first-order logic (= first-order predicate logic), first-order predicate logicУниверсальный русско-английский словарь > логика предикатов первого порядка
-
18 теоретико-множественная логика предикатов
Mathematics: set predicate logic, set-theoretic predicate logicУниверсальный русско-английский словарь > теоретико-множественная логика предикатов
-
19 язык (программирования), основанный на логике предикатов
Information technology: predicate logic language, predicate logic-based languageУниверсальный русско-английский словарь > язык (программирования), основанный на логике предикатов
-
20 язык программирования , основанный на логике предикатов
Information technology: predicate logic language, predicate logic-based languageУниверсальный русско-английский словарь > язык программирования , основанный на логике предикатов
- 1
- 2
См. также в других словарях:
Predicate logic — In mathematical logic, predicate logic is the generic term for symbolic formal systems like first order logic, second order logic, many sorted logic or infinitary logic. This formal system is distinguished from other systems in that its formulas… … Wikipedia
Predicate (logic) — Sometimes it is inconvenient or impossible to describe a set by listing all of its elements. Another useful way to define a set is by specifying a property that the elements of the set have in common. The notation P(x) is used to denote a… … Wikipedia
predicate logic — noun a) The generic term for symbolic formal systems like first order logic, second order logic, many sorted logic or infinitary logic. b) First order logic. <! See . See Also: predicate calculus … Wiktionary
monadic predicate logic — noun The fragment of predicate logic in which all predicate letters are monadic (that is, they take only one argument), and there are no function letters … Wiktionary
predicate calculus — Logic. See functional calculus. Also called predicate logic. [1945 50] * * * Part of modern symbolic logic which systematically exhibits the logical relations between propositions involving quantifiers such as all and some. The predicate calculus … Universalium
Logic programming — is, in its broadest sense, the use of mathematical logic for computer programming. In this view of logic programming, which can be traced at least as far back as John McCarthy s [1958] advice taker proposal, logic is used as a purely declarative… … Wikipedia
Logic and the philosophy of mathematics in the nineteenth century — John Stillwell INTRODUCTION In its history of over two thousand years, mathematics has seldom been disturbed by philosophical disputes. Ever since Plato, who is said to have put the slogan ‘Let no one who is not a geometer enter here’ over the… … History of philosophy
Logic (disambiguation) — Logic is the study of the principles and criteria of valid inference and demonstration.Logic may also refer to:In logic and mathematics*A branch of logic: **Inductive logic, also called induction or inductive reasoning **Informal logic, the study … Wikipedia
Logic in computer science — describes topics where logic is applied to computer science and artificial intelligence. These include:*Investigations into logic that are guided by applications in computer science. For example: Combinatory logic and Abstract interpretation;… … Wikipedia
Predicate — or predication may refer to:*Predicate (mathematics), a relation, or the boolean valued characteristic function or indicator function of a relation *Predicate (logic), a fundamental concept in first order logic **in Bertrand Russell s theory of… … Wikipedia
Logic form — Logic forms are simple, first order logic knowledge representations of natural language sentences formed by the conjunction of concept predicates related through shared arguments. Each noun, verb, adjective, adverb, pronoun, preposition and… … Wikipedia